<?php
define('ROOT', str_replace('index.php', '', $_SERVER['SCRIPT_FILENAME']));

if(file_exists(ROOT.'install/index.php')) {
	header('Location: /install/index.php');
}